Cambridge University Press4 - The Description Logic Handbook: Theory, Implementation, and Applications Edited by Franz Baader, Diego Calvanese, Deborah L. McGuinness, Daniele Nardi and Peter F. Patel-Sch

Source URL: pdfs.semanticscholar.org

Description of the project Feasibility, Logic and Randomness  (FEALORA) This   project   was   proposed   as   an   Advanced   Grant   of   the   European   Research   Council.   The   panel  recom

Source URL: users.math.cas.cz

Applying Prolog to Semantic Web Ontologies & Rules Moving Toward Description Logic Programs K. Samuel1, L. Obrst1, S. Stoutenburg2, K. Fox2, P. Franklin2, A. Johnson2, K. Laskey2, D. Nichols1, S. Lopez2, J. Peterson2 The

Source URL: sunsite.informatik.rwth-aachen.de

RDF as Graph-Based, Diagrammatic Logic Frithjof Dau Dept. of Mathematics, Dresden Technical University, Germany Abstract. The Resource Description Framework (RDF) is the basic standard for representing information in the

Source URL: www.dr-dau.net

FaCT++ Description Logic Reasoner: System Description Dmitry Tsarkov and Ian Horrocks School of Computer Science The University of Manchester Manchester, UK

Source URL: www.cs.man.ac.uk

A Hypertableau Calculus for SHIQ Boris Motik, Rob Shearer, and Ian Horrocks University of Manchester, UK Abstract. We present a novel reasoning calculus for the Description Logic SHIQ. In order to reduce the nondetermini

Source URL: www.hermit-reasoner.com

Fair Cycle Detection using Description Logic Reasoning Shoham Ben-David1 , Jeffrey Pound1 , Richard Trefler1 , Dmitry Tsarkov2 , Grant Weddell1 1. David R. Cheriton School of Computer Science, University of Waterloo 2. S

Source URL: www.cs.man.ac.uk

Ordering Heuristics for Description Logic Reasoning Dmitry Tsarkov and Ian Horrocks School of Computer Science University of Manchester Manchester, UK tsarkov|

Source URL: www.cs.man.ac.uk

A Transparent Semantic Enablement Layer for the Geospatial Web ? Krzysztof Janowicz, Sven Schade, Arne Br¨oring, Carsten Keßler, Christoph Stasch, Patrick Mau´e, Thorsten Diekhof Institute for Geoinformatics, Universi

Source URL: carsten.io

• Semantic Web
• Computing
• Information
• Sensor web
• Ontology
• Open Geospatial Consortium
• Semantic Geospatial Web
• Sensor Observation Service
• SensorML
• Geographic information system
• SAWSDL
• Description logic

Description Logics: OWL and DAML+OIL Phillip Lord, Robert D. Stevens, Carole A. Goble, and Ian Horrocks Department of Computer Science University of Manchester, Oxford Road, Manchester

Source URL: homepages.cs.ncl.ac.uk

• Knowledge representation
• Knowledge engineering
• Ontology
• Information science
• Semantic Web
• Computing
• Knowledge
• Web Ontology Language
• Description logic
• Semantic reasoner
• Class
• Gene ontology